منابع مشابه
Supervisory Control for Opacity Jérémy Dubreil, Philippe Darondeau and Hervé Marchand
In the field of computer security, a problem that received little attention so far is the enforcement of confidentiality properties by supervisory control. Given a critical system G that may leak confidential information, the problem consists in designing a controller C, possibly disabling occurrences of a fixed subset of events of G, so that the closed-loop system G/C does not leak confidentia...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملSupervisory Fuzzy Control for Networked Control Systems
This work presents a supervisory control strategy for Networked Control Systems. This shows the identification and control of a plant using fuzzy theory. The identification is perform through input-output data. The fuzzy model incorporates the delay dynamics within of fuzzy rules. The controller is composed by a nominal control and a proposed supervisory control from the fuzzy model. A system o...
متن کاملPlant Modelling for Human Supervisory Control Plant Modelling for Human Supervisory Control
This paper provides an overview of multilevel flow modelling (MFM) and its application for design of displays for the supervisory control of industrial plant. The problem of designing the inforrrzatian content of sacpervisory displays is discussed and plant representations like MFM using levels of means-end and part-whole. abstractions are proposed as a solution to this design problem. The basi...
متن کاملSupervisory control using control objectives
We study the supervisory control problem for closed languages when the specifications are given in terms of control objectives i.e. a pairing of predicates associated with blocking events. We show that under some conditions the supervisory control problem is decidable for non-regular languages and results in obtaining the least restrictive behavior. The result appears to give an extension of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2010
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2010.2042008